A Self-Applicable Partial Evaluator for the Logic Programming Language G¨odel (Extended Abstract) C.A.Gurr∗ Human Communication Research Centre University of Edinburgh

Source URL: repository.readscheme.org

• Predicate logic
• Mathematical logic
• Prolog
• Logic programming
• Partial evaluation
• Predicate
• Resolution
• Mereology
• Programming language
• Eval

Noise-Based Testing and Analysis of Multi-threaded C/C++ Programs on the Binary Level

Source URL: faculty.uoit.ca

• Programming language implementation
• Software optimization
• Assembly language
• Self-modifying code
• Low-level programming language
• Instrumentation
• Subroutine
• Pointer

The Correctness-Security Gap in Compiler Optimization Vijay D’Silva, Mathias Payer, Dawn Song LangSec 2015 1

Source URL: hexhive.github.io

• Software
• Computer programming
• Procedural programming languages
• Object-oriented programming languages
• Cross-platform software
• Compilers
• GNU Compiler Collection
• Programming language implementation
• Fortran
• C
• D

Monthly Report for FebruaryContract No.: SP4701-09-M-A130 Funding Agency: Defense Logistics Agency - Defense Technical Information Center Project Title: An Automated System for Extracting Metadata from the DTIC

Source URL: extract.cs.odu.edu

• Programming language implementation
• Software engineering
• Software
• Computing
• C++
• Preprocessor
• Newline
• Lexical analysis
• Template
• Dental extraction
• License block

Krzysztof Woś Low-level code optimisations in the Glasgow Haskell Compiler .

Source URL: research.microsoft.com

• Compiler construction
• Functional programming
• Compilers
• Programming language implementation
• Functional languages
• Glasgow Haskell Compiler
• Haskell
• C--
• LLVM
• Simon Marlow
• Simon Peyton Jones
• Intermediate representation

c ACM, 2008. This is the author’s version of the work. It is posted here by permission of ACM for your personal use. ° Not for redistribution. The definitive version was published in the Proceedings of the Haskell Sym

Source URL: ndmitchell.com

• Software engineering
• Computer programming
• Declarative programming
• Functional programming
• Higher-order functions
• Programming language comparisons
• Concurrent programming languages
• Functional languages
• Curry
• Fold
• Monad
• Constraint

Modeling Scientic Theories as PRISM Programs Taisuke SATO1 Abstract. PRISM is a new type of symbolic-statistical modeling language which integrates logic programming and learning seamlessly2. It is designed for the symb

Source URL: rjida.meijo-u.ac.jp

The Go Programming Language

Source URL: www.gopl.io

• Procedural programming languages
• Cross-platform software
• C
• Programming languages
• Go
• Brian Kernighan
• MAD
• AMPL
• Declaration
• D
• Protocol
• "Hello
• World!" program

S o f t w a r e T e c h n o l o g i e s VIsualize all moDel drivEn programming The VIDE project is to improve methodologies and tools for application

Source URL: vide.tnmsoft.de

• Unified Modeling Language
• UML tool
• Objecteering
• Fourth-generation programming language
• Software development
• Model-driven architecture

Program Comprehension: Past, Present, and Future Janet Siegmund University of Passau Abstract—Program comprehension is the main activity of the

Source URL: www.infosun.fim.uni-passau.de

• Aspect-oriented software development
• Computer programming
• Programming paradigms
• Program comprehension
• Programmer
• Software development
• AspectJ
• Software
• Integrated development environment
• Object-oriented programming
• Domain-specific language
• C Sharp